Project-Team Cash
Team, Visitors, External Collaborators
Overall Objectives
Introduction
Overall Objectives
Research Program
Definition of dataflow representations of parallel programs
Expressivity and Scalability of Static Analyses
Compiling and Scheduling Dataflow Programs
HLS-specific Dataflow Optimizations
Simulation of Hardware
Highlights of the Year
New Software and Platforms
DCC
PoCo
MPPcodegen
New Results
Dataflow-explicit futures
Distributed futures
Locally abstract globally concrete semantics
Memory consistency for heterogeneous systems
PNets: Parametrized networks of automata
Decidability results on the verification of phaser programs
A Survey on Verified Reconfiguration
A Survey on Parallelism and Determinacy
Pipeline-aware Scheduling of Polyhedral Process Networks
A Compiler Algorithm to Guide Runtime Scheduling
fkcc: the Farkas Calculator
Standard-compliant Parallel SystemC simulation of Loosely-Timed Transaction Level Models
Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip
Smart placement of dynamically allocated objects for heterogeneous memory
Static Analysis Of Binary Code With Memory Indirections Using Polyhedra
Polyhedral Value Analysis as Fast Abstract Interpretation
Decision results for solving Horn Clauses with arrays
Scheduling Trees
Formalisation of the Polyhedral Model
Semantics diffs in LLVM
Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
Partnerships and Cooperations
National Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Publications of the year
References in notes
Inria
|
Raweb 2019
|
Presentation of the Project-Team CASH
|
CASH Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
CIFRE Ph.D of Julien Emmanuel with Bull/Atos, hosted by Inria. 2020-2023.
Previous |
Home
| Next